Abstract machine - PDFSEARCH.IO - Document Search Engine

Abstract machine
Results: 823

#	Item
101	From Ads to Interventions: Contextual Bandits in Mobile Health Ambuj Tewari and Susan A. Murphy Abstract The first paper on contextual bandits was written by Michael Woodroofe inbut the term “contextual bandi Add to Reading List Source URL: dept.stat.lsa.umich.edu Language: English - Date: 2016-06-30 18:36:20 Machine learning Multi-armed bandit Stochastic optimization Reinforcement learning Pi Algorithm
102	Inverse Reinforcement Learning for Interactive Systems∗ [Extended Abstract] Olivier Pietquin SUPELEC - UMIGeorgiaTech-CNRS) 2 rue Edouard BelinMetz - France Add to Reading List Source URL: www.ilhaire.eu Language: English - Date: 2013-10-03 05:33:46 Machine learning Computational linguistics User interface techniques Multimodal interaction User interfaces Reinforcement learning Apprenticeship learning Computational learning theory Speech recognition Intelligent agent Dialog system Dialog manager
103	Keith Douglas Tax Data Division Statistics Canada1 Title: “Through an Event Log, Darkly” Abstract: In this paper I discuss how computer virtualization technologies (e.g. VMWare) Add to Reading List Source URL: philosopher-animal.com Language: English - Date: 2008-07-12 08:07:11 Virtualization VMware Virtual machine VM Latency Hardware virtualization VMware ESXi System virtual machine
104	Inducing Wavelets into Random Fields via Generative Boosting Jianwen Xie, Yang Lu, Song-Chun Zhu, and Ying Nian Wu∗ Department of Statistics, University of California, Los Angeles, USA Abstract Add to Reading List Source URL: www.stat.ucla.edu Language: English - Date: 2015-09-11 02:51:37 Signal processing Wavelet Sparse approximation Matching pursuit Machine learning
105	An Ant Colony Verification Algorithm Rachid Rebiha Giovanni L. Ciampaglia Universit`a della Svizzera Italiana, Faculty of Informatics. {rachid.rebiha, ciampagg}@lu.unisi.ch Abstract Add to Reading List Source URL: www.glciampaglia.com Language: English - Date: 2015-11-15 22:04:58 Finite automata Ant colony optimization algorithms Model checking Finite-state machine Artificial ants Ant Bchi automaton
106	A U T O M AT I N G A B S T R A C T I N T E R P R E TAT I O N OF ABSTRACT MACHINES james ian johnson April 2015 Add to Reading List Source URL: deeglaze.github.io Language: English - Date: 2016-08-09 00:27:10 Theoretical computer science Formal methods Abstract machine Semantics Algorithm Widening ACL2 Static program analysis Correctness Interpreter Actor model PdfTeX
107	Structured Prediction Cascades David Weiss and Ben Taskar University of Pennsylvania Abstract Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2010-07-29 22:32:37 Graphical models General topology Structured prediction Machine learning Statistical classification Conditional random field Net Constructible universe Bayesian network Support vector machine Filter Clique
108	Automated Abstraction of Dynamic Neural Systems for Natural Language Processing Henrik Jacobsson, Stefan L. Frank & Diego Federici Abstract— This paper presents a variant of the Crystallizing Substochastic Sequential M Add to Reading List Source URL: www.stefanfrank.info Language: English - Date: 2012-03-11 05:07:27 Finite automata Artificial neural networks Computational neuroscience Computational statistics Artificial intelligence Recurrent neural network Moore machine Parsing Quantization Finite-state machine
109	Monday 16 September 9:00 Invited talk (chair: Tom Schrijvers) Add to Reading List Source URL: users.ugent.be Language: English - Date: 2014-09-18 05:58:35 Programming paradigms Logic in computer science Constraint programming Prolog Constraint Handling Rules Abstract machine Operational semantics Abstract data type Semantics Functional programming Logic programming Coq
110	Contents 1 Introduction 2 The Add to Reading List Source URL: www.bioinf.jku.at Language: English - Date: 2013-01-23 02:33:21 Linear algebra Abstract algebra Statistical classification Matrix theory Matrices Support vector machine Matrix Kernel method Linear classifier Kernel Euclidean vector Eigenvalues and eigenvectors